files / problems / unit-distance-509 / compute / double_swap_d5adj.jsonl

7.3 KB · on GitHub

{"phase": "start", "n_extra": 677, "n_pairs": 1128, "jobs": 68}
{"v": 298, "w": 303, "ei": 58, "extra_deg": 7, "share": 2, "status": "SAT", "seconds": 0.058739586995216087}
{"v": 374, "w": 443, "ei": 45, "extra_deg": 8, "share": 2, "status": "SAT", "seconds": 0.06268093899416272}
{"v": 375, "w": 435, "ei": 182, "extra_deg": 6, "share": 2, "status": "SAT", "seconds": 0.0448508720000973}
{"v": 375, "w": 435, "ei": 71, "extra_deg": 7, "share": 2, "status": "SAT", "seconds": 0.14136585700907744}
{"v": 428, "w": 507, "ei": 180, "extra_deg": 6, "share": 2, "status": "SAT", "seconds": 0.3291207830043277}
{"v": 424, "w": 445, "ei": 72, "extra_deg": 7, "share": 2, "status": "SAT", "seconds": 0.4075050429964904}
{"v": 374, "w": 443, "ei": 190, "extra_deg": 6, "share": 2, "status": "SAT", "seconds": 0.27689337500487454}
{"v": 303, "w": 325, "ei": 201, "extra_deg": 5, "share": 2, "status": "SAT", "seconds": 0.05538414599141106}
{"v": 220, "w": 322, "ei": 202, "extra_deg": 5, "share": 2, "status": "SAT", "seconds": 0.06032475001120474}
{"v": 220, "w": 303, "ei": 217, "extra_deg": 5, "share": 2, "status": "SAT", "seconds": 0.04997657600324601}
{"v": 428, "w": 507, "ei": 186, "extra_deg": 6, "share": 2, "status": "SAT", "seconds": 0.3781038520100992}
{"v": 344, "w": 357, "ei": 225, "extra_deg": 5, "share": 2, "status": "SAT", "seconds": 0.043855505995452404}
{"v": 245, "w": 367, "ei": 224, "extra_deg": 5, "share": 2, "status": "SAT", "seconds": 0.04420103700249456}
{"v": 345, "w": 364, "ei": 237, "extra_deg": 5, "share": 2, "status": "SAT", "seconds": 0.0841245629999321}
{"v": 244, "w": 362, "ei": 236, "extra_deg": 5, "share": 2, "status": "SAT", "seconds": 0.13086870899132919}
{"v": 220, "w": 303, "ei": 223, "extra_deg": 5, "share": 2, "status": "SAT", "seconds": 0.19015517500520218}
{"v": 346, "w": 365, "ei": 292, "extra_deg": 5, "share": 2, "status": "SAT", "seconds": 0.04806947299221065}
{"v": 243, "w": 359, "ei": 298, "extra_deg": 5, "share": 2, "status": "SAT", "seconds": 0.040186950005590916}
{"v": 344, "w": 360, "ei": 263, "extra_deg": 5, "share": 2, "status": "SAT", "seconds": 0.08968968200497329}
{"v": 244, "w": 363, "ei": 318, "extra_deg": 5, "share": 2, "status": "SAT", "seconds": 0.13448310799140017}
{"v": 243, "w": 358, "ei": 331, "extra_deg": 5, "share": 2, "status": "SAT", "seconds": 0.026533922995440662}
{"v": 245, "w": 366, "ei": 258, "extra_deg": 5, "share": 2, "status": "SAT", "seconds": 0.3560644180106465}
{"v": 345, "w": 361, "ei": 319, "extra_deg": 5, "share": 2, "status": "SAT", "seconds": 0.19635682500666007}
{"v": 217, "w": 220, "ei": 57, "extra_deg": 7, "share": 2, "status": "SAT", "seconds": 0.8959759319986915}
{"v": 298, "w": 313, "ei": 354, "extra_deg": 5, "share": 2, "status": "SAT", "seconds": 0.045551829985924996}
{"v": 346, "w": 368, "ei": 330, "extra_deg": 5, "share": 2, "status": "SAT", "seconds": 0.3557927630026825}
{"v": 217, "w": 298, "ei": 332, "extra_deg": 5, "share": 2, "status": "SAT", "seconds": 0.19414916000096127}
{"v": 322, "w": 325, "ei": 375, "extra_deg": 4, "share": 2, "status": "SAT", "seconds": 0.047515736005152576}
{"v": 310, "w": 325, "ei": 393, "extra_deg": 4, "share": 2, "status": "SAT", "seconds": 0.06676134499139152}
{"v": 319, "w": 322, "ei": 388, "extra_deg": 4, "share": 2, "status": "SAT", "seconds": 0.23393667199707124}
{"v": 100, "w": 103, "ei": 407, "extra_deg": 4, "share": 2, "status": "SAT", "seconds": 0.009000853009638377}
{"v": 108, "w": 111, "ei": 404, "extra_deg": 4, "share": 2, "status": "SAT", "seconds": 0.20671220499207266}
{"v": 217, "w": 316, "ei": 353, "extra_deg": 5, "share": 2, "status": "SAT", "seconds": 0.603416443002061}
{"v": 346, "w": 365, "ei": 432, "extra_deg": 4, "share": 2, "status": "SAT", "seconds": 0.12383040599524975}
{"v": 243, "w": 359, "ei": 441, "extra_deg": 4, "share": 2, "status": "SAT", "seconds": 0.035300578994792886}
{"v": 243, "w": 358, "ei": 440, "extra_deg": 4, "share": 2, "status": "SAT", "seconds": 0.023629179995623417}
{"v": 346, "w": 368, "ei": 434, "extra_deg": 4, "share": 2, "status": "SAT", "seconds": 0.21400870800425764}
{"v": 217, "w": 298, "ei": 339, "extra_deg": 5, "share": 2, "status": "SAT", "seconds": 0.8889118110091658}
{"v": 107, "w": 108, "ei": 473, "extra_deg": 4, "share": 2, "status": "SAT", "seconds": 0.17100555100478232}
{"v": 244, "w": 345, "ei": 497, "extra_deg": 4, "share": 2, "status": "SAT", "seconds": 0.0772070020029787}
{"v": 245, "w": 346, "ei": 493, "extra_deg": 4, "share": 2, "status": "SAT", "seconds": 0.23715809799614362}
{"v": 245, "w": 346, "ei": 498, "extra_deg": 4, "share": 2, "status": "SAT", "seconds": 0.09740894199057948}
{"v": 104, "w": 107, "ei": 502, "extra_deg": 4, "share": 2, "status": "SAT", "seconds": 0.05433076100598555}
{"v": 345, "w": 364, "ei": 495, "extra_deg": 4, "share": 2, "status": "SAT", "seconds": 0.27865055299480446}
{"v": 100, "w": 107, "ei": 471, "extra_deg": 4, "share": 2, "status": "SAT", "seconds": 0.5322387899941532}
{"v": 424, "w": 445, "ei": 367, "extra_deg": 5, "share": 2, "status": "SAT", "seconds": 1.15330418398662}
{"v": 244, "w": 363, "ei": 500, "extra_deg": 4, "share": 2, "status": "SAT", "seconds": 0.17945915000746027}
{"v": 345, "w": 361, "ei": 511, "extra_deg": 4, "share": 2, "status": "SAT", "seconds": 0.04719544399995357}
{"v": 244, "w": 345, "ei": 513, "extra_deg": 4, "share": 2, "status": "SAT", "seconds": 0.04678560799220577}
{"v": 104, "w": 107, "ei": 508, "extra_deg": 4, "share": 2, "status": "SAT", "seconds": 0.08942594099789858}
{"v": 243, "w": 344, "ei": 514, "extra_deg": 4, "share": 2, "status": "SAT", "seconds": 0.05885707099514548}
{"v": 243, "w": 344, "ei": 518, "extra_deg": 4, "share": 2, "status": "SAT", "seconds": 0.062020922006922774}
{"v": 244, "w": 362, "ei": 516, "extra_deg": 4, "share": 2, "status": "SAT", "seconds": 0.10225927400460932}
{"v": 103, "w": 104, "ei": 535, "extra_deg": 4, "share": 2, "status": "SAT", "seconds": 0.08353638800326735}
{"v": 245, "w": 366, "ei": 570, "extra_deg": 4, "share": 2, "status": "SAT", "seconds": 0.028152593004051596}
{"v": 104, "w": 111, "ei": 540, "extra_deg": 4, "share": 2, "status": "SAT", "seconds": 0.06426238099811599}
{"v": 344, "w": 360, "ei": 579, "extra_deg": 4, "share": 2, "status": "SAT", "seconds": 0.049157639004988596}
{"v": 103, "w": 108, "ei": 505, "extra_deg": 4, "share": 2, "status": "SAT", "seconds": 0.42997400599415414}
{"v": 344, "w": 357, "ei": 578, "extra_deg": 4, "share": 2, "status": "SAT", "seconds": 0.20474956098769326}
{"v": 100, "w": 103, "ei": 608, "extra_deg": 4, "share": 2, "status": "SAT", "seconds": 0.08001630801300053}
{"v": 316, "w": 319, "ei": 618, "extra_deg": 4, "share": 2, "status": "SAT", "seconds": 0.03378643099858891}
{"v": 310, "w": 313, "ei": 623, "extra_deg": 4, "share": 2, "status": "SAT", "seconds": 0.03767927599255927}
{"v": 245, "w": 367, "ei": 572, "extra_deg": 4, "share": 2, "status": "SAT", "seconds": 0.2698425669950666}
{"v": 375, "w": 411, "ei": 638, "extra_deg": 4, "share": 2, "status": "SAT", "seconds": 0.03329113700601738}
{"v": 108, "w": 111, "ei": 603, "extra_deg": 4, "share": 2, "status": "SAT", "seconds": 0.26252795800974127}
{"v": 374, "w": 410, "ei": 676, "extra_deg": 4, "share": 2, "status": "SAT", "seconds": 0.024064276003628038}
{"v": 100, "w": 111, "ei": 506, "extra_deg": 4, "share": 2, "status": "SAT", "seconds": 0.9207327890035231}
{"v": 313, "w": 316, "ei": 636, "extra_deg": 4, "share": 2, "status": "SAT", "seconds": 0.5621160050068283}