1.5 KiB
1.5 KiB
| 1 | problem_no | formal_index | case_code | entered | end_reason | cleared_jammer_count | measure_accepted_count | virtual_time_us | program_run_duration_ms | channel_switch_count | clear_failure_count | state | package_sha256 | virtual_time_s | average_clear_time_s | program_run_duration_s | inferred_movement_time_s | inferred_distance_m | movement_share_percent | source_total | clear_fraction |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 2 | 3 | 1 | 9HU7-UWJR-BPTR-VYAT | 1 | user_exit | 13 | 105 | 3094978068 | 5596 | 96 | 0 | confirmed | fbd7ab92f78a019887f603172ab6a39e274adb1f917fc2681f1e8073ff47d911 | 3094.978068 | 238.075236 | 5.596 | 2408.978068 | 12044.890340 | 77.835061 | ||
| 3 | 3 | 2 | 7TCG-C9EC-53VF-HZ5H | 1 | user_exit | 15 | 117 | 3493335140 | 3024 | 108 | 0 | confirmed | 5d83ce87455ce22fadbcbddb60814d9b1f0be54de7bc9d0463777ba47b3922ef | 3493.33514 | 232.889009 | 3.024 | 2725.33514 | 13626.67570 | 78.015279 | ||
| 4 | 3 | 3 | UVUZ-B4MQ-XSUV-HQFP | 1 | user_exit | 10 | 117 | 2906862876 | 2680 | 107 | 0 | confirmed | eeffe419c3df005d0ea78c7ec2c10afed29c4bec782327538537dd7ba7914424 | 2906.862876 | 290.686288 | 2.680 | 2164.862876 | 10824.314380 | 74.474200 | ||
| 5 | 4 | 1 | VQUM-ETQ5-74PP-ZQ3J | 1 | user_exit | 13 | 349 | 9362225736 | 7668 | 275 | 0 | confirmed | 9a102295d324b5fb5aeed1c6036d13ae7e08a7d7fddb60ceb8dead24e62b15d3 | 9362.225736 | 720.171210 | 7.668 | 7277.225736 | 36386.128680 | 77.729655 | ||
| 6 | 4 | 2 | 5K5T-TRWZ-BPR2-ECAV | 1 | user_exit | 10 | 361 | 9271302080 | 5724 | 315 | 0 | confirmed | 370aac9c2c5d324dd382e57e541ef0da7c5dd4759660d9ea0cba8373ce0ea9a1 | 9271.30208 | 927.130208 | 5.724 | 7101.30208 | 35506.51040 | 76.594442 | ||
| 7 | 4 | 3 | K58B-V5VC-E4EF-CRTW | 1 | user_exit | 14 | 264 | 8608382102 | 6051 | 213 | 0 | confirmed | 1c7f1d111f8fd1a1d0f608d9847c0946b1b0a45bdb7b3f487e0c6d4f4586885f | 8608.382102 | 614.884436 | 6.051 | 7005.382102 | 35026.910510 | 81.378615 |